Linear Logic, Linguistic Resource Sensitivity and Resumption
نویسنده
چکیده
We'll reserve the terms resumptive and resumptive pronouns for the unbounded dependency pronouns that have traditionally received these names. To diverge from common usage at this point would be confusing and it is in any case useful to have terms specifically for this kind of resumption. We'll use the pre-theoretical terms copy raising pronoun and copy pronoun (even though there is no copying in the analysis I propose, just anaphoric binding). I'll introduce the new term resumption pronoun to refer to both resumptives and copy pronouns. We'll refer to unbounded dependencies that terminate in a gap as filler-gap dependencies and ones that terminate in a resumptive as binder-resumptive dependencies. References marked with an asterisk (*) in the 'Further reading' sections are available from the course website (generally in prepublication form only). The URL is: Versions of these lecture notes in 1up format are also available at the website.
منابع مشابه
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
We propose to represent the syntax and semantics of natural languages with labelled proof nets in the implicative fragment of intuitionistic linear logic. Resource-sensitivity of linear logic is used to express all dependencies between the syntactic constituents of a sentence in the form of a proof net. Phonological and semantic labelling of the proof net from its inputs to the unique output ar...
متن کاملA Glue/λ-DRT Treatment of Resumptive Pronouns
Anaphora and resumption, phenomena which intuitively seem to challenge resource sensitivity, have been argued to support its role in Glue. The resource deletion treatment of resumption in LFG Glue presented by Asudeh (2004) was designed to work together with the Glue resource duplication treatment of anaphora (Dalrymple et al., 1999). However, as ‘resumptive pronouns’ are mere pronouns, the cho...
متن کاملResumption-based Categorical Geometry of Interaction for Effects
Girard’s Geometry of Interaction (GoI) gives a model of linear logic and is applied to give semantics of programming languages. In this paper the base steps of an approach to obtain resumption-based GoI interpretation of effects, namely resumption-based categorical GoI, are described. In our approach, categorical GoI — a categorical axiomatization of GoI introduced by Abramsky, Haghverdi and Sc...
متن کاملHow DoesStrawson Unify Epistemology, Ontology and Logic
Strawson’s conception of analysis as a ‘connective linguistic analysis’ makes it possible for him to achieve an indefinitely large range of ideas or concepts among them are certain numbers of fundamental, general and pervasive concepts or concept-types which not only are pre-theoretical or ahistorical, but also together constitute a structural framework only within whichlogic, ontology and epis...
متن کاملNew Applications on Linguistic Mathematical Structures and Stability Analysis of Linguistic Fuzzy Models
In this paper some algebraic structures for linguistic fuzzy models are defined for the first time. By definition linguistic fuzzy norm, stability of these systems can be considered. Two methods (normed-based & graphical-based) for stability analysis of linguist fuzzy systems will be presented. At the follow a new simple method for linguistic fuzzy numbers calculations is defined. At the end tw...
متن کامل